Summary by CodeRabbit

• New Features

  • Redesigned semantic solver with improved module/file handling
  • Module import from the filesystem (modules must use a .msm extension)
  • New CLI/API commands available: help, version, tokens, length, check, ast, latex

• Documentation

  • Added README under .github for package guidance

• Chores

  • Package version bumped to 8.0.0

• Chores

  • .gitignore broadened to ignore test MSM files (*.msm)